1. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
2. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
3. System specification and design languages
پدیدآورنده : / Tom J. Kaazmierski, Adam Morawiec, editors
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012